Nuprl Definition : ma-outlinks
0,22
postcript
pdf
ma-outlinks(
M
;
i
) == da-outlinks(1of(2of(
M
));
i
)
latex
Definitions
2of(
t
)
,
1of(
t
)
,
da-outlinks(
da
;
i
)
,
ma-outlinks(
M
;
i
)
FDL editor aliases
ma-outlinks
origin